$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$). SqStable(Inj($A$;$B$;$f$))